\documentclass{cours}

\title{\textsc{Logique et programmation logique}}
\author{Notes prises d'après le cours de M. Christian Ronse}
\date{Université de Strabourg}

\begin{document}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\include{chapters/intro}

\part{Théorie de la calculabilité}

\include{chapters/fctbool}

\part{Systèmes formels}

\include{chapters/recurs}
\include{chapters/systform}

\part{Logique des propositions et des prédicats}

\include{chapters/predicats}
\include{chapters/formules}

\part{Méthodes de démonstration automatique}

\chapter{Unification, résolution}
\section{Résolution sans variable}
\section{Unification}
\section{Résolution avec variables}

\include{chapters/prolog}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\end{document}
